int_0^inf (4*log(1+x)-log(1+x^2))/(1+x^2) dx